Top-Down Synthesis for Library Learning

نویسندگان

چکیده

This paper introduces corpus-guided top-down synthesis as a mechanism for synthesizing library functions that capture common functionality from corpus of programs in domain specific language (DSL). The algorithm builds abstractions directly initial DSL primitives, using syntactic pattern matching intermediate to intelligently prune the search space and guide towards maximally shared structures corpus. We present an implementation approach tool called Stitch evaluate it against state-of-the-art deductive learning DreamCoder. Our evaluation shows is 3-4 orders magnitude faster uses 2 less memory while maintaining comparable or better quality (as measured by compressivity). also demonstrate Stitch’s scalability on corpora containing hundreds complex are intractable with prior approaches show empirically robust terminating procedure early—further allowing scale challenging datasets means early stopping.

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Top-down construction of an ordered Schizosaccharomyces pombe cosmid library.

A very rapid and efficient method for sorting and ordering large numbers of clones is presented. This top-down mapping approach divides the entire ordering problem into many smaller tasks and analyzes in parallel a gridded membrane array of clones by hybridization with probe pools. The strategy was tested on a 15-fold-coverage Schizosaccharomyces pombe cosmid library. About 1600 clones were ass...

متن کامل

Top-Down Pruning in Relational Learning

Pruning is an eeective method for dealing with noise in Machine Learning. Recently pruning algorithms, in particular Reduced Error Pruning, have also attracted interest in the eld of Inductive Logic Programming. However, it has been shown that these methods can be very ineecient, because most of the time is wasted for generating clauses that explain noisy examples and subsequently pruning these...

متن کامل

Top-down causation without top-down causes

We argue that intelligible appeals to interlevel causes (top-down and bottom-up) can be understood, without remainder, as appeals to mechanistically mediated effects. Mechanistically mediated effects are hybrids of causal and constitutive relations, where the causal relations are exclusively intralevel. The idea of causation would have to stretch to the breaking point to accommodate interlevel ...

متن کامل

Top-down learning strategies: can they facilitate stylus keyboard learning?

Learning a new stylus keyboard layout is time-consuming yet potentially rewarding, as optimized virtual keyboards can substantially increase performance for expert users. This paper explores whether the learning curve can be accelerated using top-down learning strategies. In an experiment, one group of participants learned a stylus keyboard layout with top-down methods, such as visuo-spatial gr...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Proceedings of the ACM on programming languages

سال: 2023

ISSN: ['2475-1421']

DOI: https://doi.org/10.1145/3571234